1. Identificação | |
Tipo de Referência | Tese ou Dissertação (Thesis) |
Site | mtc-m21c.sid.inpe.br |
Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Identificador | 8JMKD3MGP3W34R/446GAE8 |
Repositório | sid.inpe.br/mtc-m21c/2021/02.13.01.58 |
Última Atualização | 2021:06.01.14.36.32 (UTC) simone |
Repositório de Metadados | sid.inpe.br/mtc-m21c/2021/02.13.01.58.15 |
Última Atualização dos Metadados | 2022:04.03.19.26.52 (UTC) administrator |
Chave Secundária | INPE-18424-TDI/3074 |
Chave de Citação | Cruz:2021:PlAuOp |
Título | Planejamento automático de operação de satélites com predição de estados inválidos |
Título Alternativo | Automatic satellite operation planning with prediction of invalid states |
Curso | CSE-ETES-DIPGR-INPE-MCTI-GOV-BR |
Ano | 2021 |
Data | 2021-03-04 |
Data de Acesso | 05 maio 2024 |
Tipo da Tese | Dissertação (Mestrado em Engenharia e Gerenciamento de Sistemas Espaciais) |
Tipo Secundário | TDI |
Número de Páginas | 83 |
Número de Arquivos | 1 |
Tamanho | 6359 KiB |
|
2. Contextualização | |
Autor | Cruz, Caio Gustavo Rodrigues da |
Banca | Santos, Walter Abrahão dos (presidente) Ferreira, Maurício Gonçalves Vieira (orientador) Silva, Rodrigo Rocha (orientador) Ambrosio, Ana Maria Bernardino, Jorge Fernandes Rodrigues |
Endereço de e-Mail | caio.cruz2@fatec.sp.gov.br |
Universidade | Instituto Nacional de Pesquisas Espaciais (INPE) |
Cidade | São José dos Campos |
Histórico (UTC) | 2021-02-13 01:58:15 :: caio.cruz@inpe.br -> administrator :: 2021-02-23 19:34:52 :: administrator -> pubtc@inpe.br :: 2021-02-23 19:35:30 :: pubtc@inpe.br -> caio.cruz@inpe.br :: 2021-04-08 17:38:11 :: caio.cruz@inpe.br -> pubtc@inpe.br :: 2021-04-08 18:48:05 :: pubtc@inpe.br -> caio.cruz@inpe.br :: 2021-04-13 16:15:06 :: caio.cruz@inpe.br -> pubtc@inpe.br :: 2021-04-26 16:17:12 :: pubtc@inpe.br -> caio.cruz@inpe.br :: 2021-04-26 16:36:57 :: caio.cruz@inpe.br -> pubtc@inpe.br :: 2021-06-02 20:57:13 :: pubtc@inpe.br -> simone :: 2021-06-02 21:00:23 :: simone :: -> 2021 2021-06-02 21:00:52 :: simone -> administrator :: 2021 2022-04-03 19:26:52 :: administrator -> :: 2021 |
|
3. Conteúdo e estrutura | |
É a matriz ou uma cópia? | é a matriz |
Estágio do Conteúdo | concluido |
Transferível | 1 |
Palavras-Chave | planejamento automático estados inválidos classificação de dados PDDL sistemas de informação automated planning invalid states machine learning information systems |
Resumo | O aumento do uso de sistemas automatizados em missões espaciais fez com que aspectos como segurança e confiabilidade das operações espaciais sejam tratados com maior cautela devido à habitual degradação de um satélite durante seu tempo de operação. Em diversos trabalhos na literatura que têm como objetivo o planejamento automático, observa-se que planos são gerados com estados inválidos. O estado inválido pode ser compreendido como um cenário proibido ou que coloque em risco a operação que demanda o planejamento automático. Nesse contexto, este trabalho tem como objetivo apresentar uma nova arquitetura de planejamento com restrições. Para que planejadores automáticos não gerem planos com estados inválidos, foi proposta a adição de um método responsável por validar estados no software planejador. O método de validação proposto tem como base uma nova representação de restrições, que é configurada por meio de um processo de aprendizagem de máquina. Desta maneira, o planejamento automático para a área espacial pode ser beneficiado pela arquitetura apresentada neste trabalho, já que a base de dados da operação de um satélite pode ser utilizada para configurar restrições, gerar planos com maior qualidade e aumentar a segurança da operação. Através do estudo de caso realizado, observa-se que a validação dos estados inválidos possibilita que o planejador cumpra as restrições e garanta que o objetivo do problema seja alcançado com apenas estados permitidos. Por fim, é possível concluir que os planos gerados com base na utilização da arquitetura apresentada nesta dissertação contribuem para que as restrições emergentes do domínio da área espacial, como a queima de um subsistema, sejam representadas e cumpridas no planejamento automático. ABSTRACT: The increase in the use of automated systems in space missions has made that aspects such as safety and reliability of space operations are treated with greater caution due to the natural degradation of a satellite during its operating time. In several works in literature that focus on automatic planning, it is observed that plans are generated with invalid states. The invalid state can be understood as a prohibited scenario or one that jeopardizes the operation that requires automatic planning. In this context, this work aims to present a new planning architecture with restrictions. In order for automatic planners to not generate plans with invalid states, it was proposed to add a method that is responsible for the validation of states in the planner software. The proposed validation method is based on a new representation of restrictions, which is configured through a machine learning process. In this way, the automatic planning for space can be benefited by the architecture presented in this work, since the knowledge base of operation of a satellite can be used to configure restrictions, generate plans with higher quality and increase the security of the operation. Through the experiments carried out, it is observed that the validation of invalid states enables the planner to comply with the restrictions and ensure that the objective of the problem is achieved with only allowed states. Finally, it is possible to conclude that the plans generated based on the use of the architecture presented in this thesis, contributes so that the restrictions emerging from the domain of the space area, such as the burning of a subsystem, are represented and fulfilled in the automatic planning. |
Área | ETES |
Arranjo 1 | urlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CSE > Planejamento automático de... |
Arranjo 2 | urlib.net > BDMCI > Fonds > Produção a partir de 2021 > CGCE > Planejamento automático de... |
Conteúdo da Pasta doc | acessar |
Conteúdo da Pasta source | originais/@4primeirasPaginas.pdf | 01/06/2021 11:25 | 414.5 KiB | originais/DEFESA FINAL DE DISSERTAÇÃO DE CAIO GUSTAVO RODRIGUES DA CRUZ - CSE.pdf | 12/03/2021 15:28 | 321.3 KiB | originais/DISSERTACAO_CAIO.pdf | 26/04/2021 13:43 | 5.6 MiB | |
Conteúdo da Pasta agreement | |
|
4. Condições de acesso e uso | |
URL dos dados | http://urlib.net/ibi/8JMKD3MGP3W34R/446GAE8 |
URL dos dados zipados | http://urlib.net/zip/8JMKD3MGP3W34R/446GAE8 |
Idioma | pt |
Arquivo Alvo | publicacao.pdf |
Grupo de Usuários | caio.cruz@inpe.br pubtc@inpe.br simone |
Visibilidade | shown |
Licença de Direitos Autorais | urlib.net/www/2012/11.12.15.10 |
Detentor dos Direitos | originalauthor yes |
Permissão de Leitura | allow from all |
Permissão de Atualização | não transferida |
|
5. Fontes relacionadas | |
Repositório Espelho | urlib.net/www/2017/11.22.19.04.03 |
Unidades Imediatamente Superiores | 8JMKD3MGPCW/3F35BSP 8JMKD3MGPCW/46KTFK8 |
Lista de Itens Citando | sid.inpe.br/bibdigital/2013/10.14.22.20 3 |
Acervo Hospedeiro | urlib.net/www/2017/11.22.19.04 |
|
6. Notas | |
Campos Vazios | academicdepartment affiliation archivingpolicy archivist callnumber contenttype copyholder creatorhistory descriptionlevel dissemination doi electronicmailaddress format group isbn issn label lineage mark nextedition notes number orcid parameterlist parentrepositories previousedition previouslowerunit progress readergroup resumeid schedulinginformation secondarydate secondarymark session shorttitle sponsor subject tertiarymark tertiarytype url versiontype |
|